[INFO] fetching crate bddminisat-sys 0.1.0...
[INFO] testing bddminisat-sys-0.1.0 against master#f9988fefd3add01f414f52b414308e7872622fee for pr-155114
[INFO] extracting crate bddminisat-sys 0.1.0 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate bddminisat-sys 0.1.0
[INFO] finished tweaking crates.io crate bddminisat-sys 0.1.0
[INFO] tweaked toml for crates.io crate bddminisat-sys 0.1.0 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate bddminisat-sys 0.1.0 on toolchain f9988fefd3add01f414f52b414308e7872622fee
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate bddminisat-sys 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 30b791ca985966152f3c4d5923cde8972ff7e1a9d24ab98739680d8f0f509889
[INFO] running `Command { std: "docker" "start" "-a" "30b791ca985966152f3c4d5923cde8972ff7e1a9d24ab98739680d8f0f509889", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "30b791ca985966152f3c4d5923cde8972ff7e1a9d24ab98739680d8f0f509889", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "30b791ca985966152f3c4d5923cde8972ff7e1a9d24ab98739680d8f0f509889", kill_on_drop: false }`
[INFO] [stdout] 30b791ca985966152f3c4d5923cde8972ff7e1a9d24ab98739680d8f0f509889
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a112afd973788b2b8d6d933c4f80ed34f1c6f9faf2358c16c7fafd46e6f899af
[INFO] running `Command { std: "docker" "start" "-a" "a112afd973788b2b8d6d933c4f80ed34f1c6f9faf2358c16c7fafd46e6f899af", kill_on_drop: false }`
[INFO] [stderr]    Compiling find-msvc-tools v0.1.5
[INFO] [stderr]    Compiling cc v1.2.49
[INFO] [stderr]    Compiling bddminisat-sys v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'check':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:49:30: warning: unused parameter 'expr' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    49 | static inline void check(int expr) { assert(expr); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                          ~~~~^~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_activity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:102:71: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   102 | static inline float clause_activity   (clause* c)          { return *((float*)&c->lits[c->size_learnt>>1]); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                                      ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_setactivity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:103:64: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   103 | static inline void  clause_setactivity(clause* c, float a) { *((float*)&c->lits[c->size_learnt>>1]) = a; }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                               ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_printstatus':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:287:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   287 |     printf("\t%ju", s->stats.conflicts);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:288:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   288 |     printf("\t%ju", s->stats.propagations);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'order_assigned':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:43: warning: unused parameter 's' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                   ~~~~~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:50: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                              ~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_new':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:473:11: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   473 |         *((float*)&c->lits[size]) = 0.0;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |          ~^~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_backtrack':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1678:1: warning: no return statement in function returning non-void [-Wreturn-type]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1678 | }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       | ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_resolve_conflict_cbj':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1764:17: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1764 |             lit p = solver_backtrack(s,solver_dlevel(s));
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1810:25: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1810 |                     lit p = solver_backtrack(s, highest);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                         ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_search':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1866:13: warning: unused variable 'sublevels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1866 |     int*    sublevels       = s->sublevels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1865:13: warning: unused variable 'levels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1865 |     int*    levels          = s->levels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1863:43: warning: unused parameter 'nof_conflicts' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1863 | static lbool solver_search(solver* s, int nof_conflicts, int nof_learnts)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                       ~~~~^~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_solve':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2421:13: warning: unused variable 'i' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2421 |     lit*    i;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2420:13: warning: unused variable 'values' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2420 |     lbool*  values        = s->assigns;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:37: warning: unused parameter 'begin' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                ~~~~~^~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:49: warning: unused parameter 'end' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                            ~~~~~^~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: At top level:
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1827:14: warning: 'solver_resolve_conflict_bjcbj' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1827 | static lbool solver_resolve_conflict_bjcbj(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1681:14: warning: 'solver_resolve_conflict_bt' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1681 | static lbool solver_resolve_conflict_bt(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:819:13: warning: 'solver_refreshobdd' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   819 | static void solver_refreshobdd(solver *s)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:179:13: warning: 'solver_printgencls' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   179 | static void solver_printgencls(solver *s) // for debug
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:155:13: warning: 'solver_printtrail' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   155 | static void solver_printtrail(solver *s){
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:51:13: warning: 'printlits' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    51 | static void printlits(lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_initialize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:67:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    67 |     for (int i = 0; i < fn_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:77:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    77 |     for (int i = 0; i < vecs_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_finalize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:97:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    97 |         for (int i = 0; i < fn_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:109:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   109 |         for (int i = 0; i < vecs_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.43s
[INFO] running `Command { std: "docker" "inspect" "a112afd973788b2b8d6d933c4f80ed34f1c6f9faf2358c16c7fafd46e6f899af", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a112afd973788b2b8d6d933c4f80ed34f1c6f9faf2358c16c7fafd46e6f899af", kill_on_drop: false }`
[INFO] [stdout] a112afd973788b2b8d6d933c4f80ed34f1c6f9faf2358c16c7fafd46e6f899af
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d803123f1bc9e12a5ae6f125f67fb2989af9eba5d7cf024fdc215038175de2b1
[INFO] running `Command { std: "docker" "start" "-a" "d803123f1bc9e12a5ae6f125f67fb2989af9eba5d7cf024fdc215038175de2b1", kill_on_drop: false }`
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'check':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:49:30: warning: unused parameter 'expr' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    49 | static inline void check(int expr) { assert(expr); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                          ~~~~^~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_activity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:102:71: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   102 | static inline float clause_activity   (clause* c)          { return *((float*)&c->lits[c->size_learnt>>1]); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                                      ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_setactivity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:103:64: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   103 | static inline void  clause_setactivity(clause* c, float a) { *((float*)&c->lits[c->size_learnt>>1]) = a; }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                               ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_printstatus':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:287:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   287 |     printf("\t%ju", s->stats.conflicts);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:288:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   288 |     printf("\t%ju", s->stats.propagations);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'order_assigned':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:43: warning: unused parameter 's' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                   ~~~~~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:50: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                              ~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_new':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:473:11: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   473 |         *((float*)&c->lits[size]) = 0.0;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |          ~^~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_backtrack':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1678:1: warning: no return statement in function returning non-void [-Wreturn-type]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1678 | }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       | ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_resolve_conflict_cbj':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1764:17: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1764 |             lit p = solver_backtrack(s,solver_dlevel(s));
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1810:25: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1810 |                     lit p = solver_backtrack(s, highest);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                         ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_search':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1866:13: warning: unused variable 'sublevels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1866 |     int*    sublevels       = s->sublevels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1865:13: warning: unused variable 'levels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1865 |     int*    levels          = s->levels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1863:43: warning: unused parameter 'nof_conflicts' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1863 | static lbool solver_search(solver* s, int nof_conflicts, int nof_learnts)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                       ~~~~^~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_solve':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2421:13: warning: unused variable 'i' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2421 |     lit*    i;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2420:13: warning: unused variable 'values' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2420 |     lbool*  values        = s->assigns;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:37: warning: unused parameter 'begin' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                ~~~~~^~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:49: warning: unused parameter 'end' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                            ~~~~~^~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: At top level:
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1827:14: warning: 'solver_resolve_conflict_bjcbj' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1827 | static lbool solver_resolve_conflict_bjcbj(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1681:14: warning: 'solver_resolve_conflict_bt' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1681 | static lbool solver_resolve_conflict_bt(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:819:13: warning: 'solver_refreshobdd' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   819 | static void solver_refreshobdd(solver *s)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:179:13: warning: 'solver_printgencls' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   179 | static void solver_printgencls(solver *s) // for debug
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:155:13: warning: 'solver_printtrail' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   155 | static void solver_printtrail(solver *s){
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:51:13: warning: 'printlits' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    51 | static void printlits(lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_initialize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:67:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    67 |     for (int i = 0; i < fn_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:77:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    77 |     for (int i = 0; i < vecs_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_finalize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:97:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    97 |         for (int i = 0; i < fn_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:109:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   109 |         for (int i = 0; i < vecs_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr]    Compiling bddminisat-sys v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.52s
[INFO] running `Command { std: "docker" "inspect" "d803123f1bc9e12a5ae6f125f67fb2989af9eba5d7cf024fdc215038175de2b1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d803123f1bc9e12a5ae6f125f67fb2989af9eba5d7cf024fdc215038175de2b1", kill_on_drop: false }`
[INFO] [stdout] d803123f1bc9e12a5ae6f125f67fb2989af9eba5d7cf024fdc215038175de2b1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 41f4c199023c4c6113d8969040687b40f4b59dce9c649113f4f4ac29a53b9439
[INFO] running `Command { std: "docker" "start" "-a" "41f4c199023c4c6113d8969040687b40f4b59dce9c649113f4f4ac29a53b9439", kill_on_drop: false }`
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'check':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:49:30: warning: unused parameter 'expr' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    49 | static inline void check(int expr) { assert(expr); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                          ~~~~^~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_activity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:102:71: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   102 | static inline float clause_activity   (clause* c)          { return *((float*)&c->lits[c->size_learnt>>1]); }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                                      ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_setactivity':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:103:64: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   103 | static inline void  clause_setactivity(clause* c, float a) { *((float*)&c->lits[c->size_learnt>>1]) = a; }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                                               ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_printstatus':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:287:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   287 |     printf("\t%ju", s->stats.conflicts);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:288:17: warning: format '%ju' expects argument of type 'uintmax_t', but argument 2 has type 'uint64' {aka 'long long unsigned int'} [-Wformat=]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   288 |     printf("\t%ju", s->stats.propagations);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               ~~^   ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           |
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 |           uint64 {aka long long unsigned int}
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 long unsigned int
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |               %llu
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'order_assigned':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:43: warning: unused parameter 's' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                   ~~~~~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:328:50: warning: unused parameter 'v' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   328 | static inline void order_assigned(solver* s, int v)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                              ~~~~^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'clause_new':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:473:11: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   473 |         *((float*)&c->lits[size]) = 0.0;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |          ~^~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_backtrack':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1678:1: warning: no return statement in function returning non-void [-Wreturn-type]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1678 | }
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       | ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_resolve_conflict_cbj':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1764:17: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1764 |             lit p = solver_backtrack(s,solver_dlevel(s));
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                 ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1810:25: warning: unused variable 'p' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1810 |                     lit p = solver_backtrack(s, highest);
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                         ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_search':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1866:13: warning: unused variable 'sublevels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1866 |     int*    sublevels       = s->sublevels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1865:13: warning: unused variable 'levels' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1865 |     int*    levels          = s->levels;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1863:43: warning: unused parameter 'nof_conflicts' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1863 | static lbool solver_search(solver* s, int nof_conflicts, int nof_learnts)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                       ~~~~^~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: In function 'solver_solve':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2421:13: warning: unused variable 'i' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2421 |     lit*    i;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2420:13: warning: unused variable 'values' [-Wunused-variable]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2420 |     lbool*  values        = s->assigns;
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:37: warning: unused parameter 'begin' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                ~~~~~^~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:2415:49: warning: unused parameter 'end' [-Wunused-parameter]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  2415 | bool   solver_solve(solver* s, lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                                            ~~~~~^~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c: At top level:
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1827:14: warning: 'solver_resolve_conflict_bjcbj' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1827 | static lbool solver_resolve_conflict_bjcbj(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:1681:14: warning: 'solver_resolve_conflict_bt' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:  1681 | static lbool solver_resolve_conflict_bt(solver *s, clause *confl)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |              ^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:819:13: warning: 'solver_refreshobdd' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   819 | static void solver_refreshobdd(solver *s)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:179:13: warning: 'solver_printgencls' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   179 | static void solver_printgencls(solver *s) // for debug
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:155:13: warning: 'solver_printtrail' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   155 | static void solver_printtrail(solver *s){
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/solver.c:51:13: warning: 'printlits' defined but not used [-Wunused-function]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    51 | static void printlits(lit* begin, lit* end)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |             ^~~~~~~~~
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_initialize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:67:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    67 |     for (int i = 0; i < fn_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:77:23: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    77 |     for (int i = 0; i < vecs_max_y; i++)
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                       ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c: In function 'trie_finalize':
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:97:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:    97 |         for (int i = 0; i < fn_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr] warning: bddminisat-sys@0.1.0: bdd_minisat_all-1.0.2/trie.c:109:27: warning: comparison of integer expressions of different signedness: 'int' and 'uintptr_t' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: bddminisat-sys@0.1.0:   109 |         for (int i = 0; i < vecs_max_y; i++) {
[INFO] [stderr] warning: bddminisat-sys@0.1.0:       |                           ^
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/bddminisat_sys-8c5ea3c603a5589f)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::test_solver_basic ... ok
[INFO] [stdout] test tests::test_literal_operations ... ok
[INFO] [stdout] test tests::test_simple_sat ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests bddminisat_sys
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test src/lib.rs - (line 85) - compile ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "41f4c199023c4c6113d8969040687b40f4b59dce9c649113f4f4ac29a53b9439", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "41f4c199023c4c6113d8969040687b40f4b59dce9c649113f4f4ac29a53b9439", kill_on_drop: false }`
[INFO] [stdout] 41f4c199023c4c6113d8969040687b40f4b59dce9c649113f4f4ac29a53b9439
